Proweniencja oraz funkcja teorii kosmologicznych następstw niesprawiedliwych rządów w zwierciadle Jonasza z Orleanu (ok. 780-843)

Wyznaczanie ograniczeń stanu końcowego w nieliniowej regulacji predykcyjnej

1. Wstęp. Nieliniowa regulacja predykcyjna (NMPC – Nonlinear Model Predictive Control) jest metodą sterowania polegającą na cyklicznym rozwiązywaniu zadania sterowania otwartego (OCP – Open Control Problem zob. [6]). Początkową część wyliczonego w ten sposób sterowania stosuje się przez pewien czas δ, po czym wyznacza się stan obiektu i powtarza całą procedurę dla nowego warunku początkowego. Z...

W and Z Physics

The electroweak theory elegantly combines the electromagnetic and weak forces, explaining a wide range of interactions using a gauge theory with just three parameters. The theory predicted the W and Z weak gauge bosons before they were directly observed in 1983, and its detailed predictions of W and Z boson properties have been tested to such precision that they now serve as probes for new part...

Formalizacja naiwnej teorii typów

Językiem współczesnej matematyki jest teoria mnogości. Praktycznie wszystkie dowody matematyczne przeprowadza się na gruncie teorii zbiorów. Wszystkie książki i artykuły naukowe pisze się zakładając niejawnie aksjomaty ZF lub ZFC. Nawet nauczanie matematyki, od przedszkola po uniwersytet, prowadzi się na gruncie teorii mnogości. Jednak teoria mnogości została wprowadzona w zupełnie innym celu. ...

Extending W for Object-Z

This paper presents a logic for Object-Z which extends W, the logic for Z adopted as the basis of the deductive system in the Z Base Standard. The logic provides a basis on which tool support for reasoning about Object-Z speciications can be developed. It also formalises the intended meaning of Object-Z constructs and hence provides an abstract, axiomatic semantics of the language.

Stavové rovnice v teorii regulace